$\forall$$a$:$\mathbb{Z}$. GCD($a$;$a$;$a$)